module a::m {

    fun f(x: u8) {
        match (x) {
            0 => (),
            5 => (),
            10 => (),
            15 => (),
            20 => (),
        }
    }

}
